Dict(
	[15, 9, 13, 4, 14, 1, 1, 13, 1, 1] => QQFieldElem[-32//3, 0, 0, 0])